منابع مشابه
Tucking RCC in Cyc's Ontological Bed
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpretations and of the possible challenge of an intended interpretation arise when integrating a particular theory in pre-existing formal and ontological settings. This paper reports on an instance of this general problem o...
متن کامل3D Origami Design based on Tucking Molecule
This paper presents a new approach for folding a piece of paper into an arbitrary three-dimensional polyhedral surface based on ”tucking molecules.” The approach is to align the polygons of the three-dimensional surface onto a convex region of a plane and fill the blank area between the polygons with ”tucking molecules.” Tucking molecules are aligned between segments and vertices of the polygon...
متن کاملRestructuring programs by tucking statements into functions
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by decomposing large functions into small functions. Tuck consists of three steps: Wedge, Split, and Fold. A wedge—a subset of statements in a slice—contains computations that are related and that may create a meaningful ...
متن کاملAssembly of nuclear pore complexes in Xenopus egg extract.
In eukaryotic cells, chromatin is enclosed by a doublelayered membrane system, the nuclear envelope, which segregates the nuclear genome and its transcriptional apparatus from the cytoplasm. Major structural elements of the nuclear envelope include inner and outer nuclear membrane, a lamina composed of a network of intermediate filament-related proteins underlying the inner nuclear membrane and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2020
ISSN: 0028-0836,1476-4687
DOI: 10.1038/d41586-020-00811-0